$\forall$$A$, $B$:(Id$\rightarrow$MsgA). interface{-}compatible($A$;$B$) $\in$ $\mathbb{P}$